– The paper explores first the postulational basis and significance of‘measures of information’in current information theory and their possible relations to physical entropy and Brillouin's‘negentropy’regarded as the negative of entropy. For some purposes, the same pattern or formal structure may be abstracted from both‘entropy’and‘information’. The paper analyzes, in the second place, the mathematical analogies which have been traced between information theory and quantum mechanics and argues that the analogies have but a limited value when we come to grips with the (...) deeper, and yet unsolved, problems of quantum theory. Lastly it is urged that the indiscriminate extensions of statistical and information‐theoretic methods, and of quantum‐mechanical analogies, e.g.‘linguistic duality’, to psycholinguistics, literary and aesthetic Gestalten, can result only in crude exaggerations. Dialectical methodology requires the continual reformulation of all scientific descriptions which have to reckon perpetually with the richness of human materials. (shrink)

A scholium in codex Vaticanus graecus 156 provides evidence that Cassius Dio's Roman History once contained an explicit reference to the ludi saeculares of a.d. 204, something that has been denied in recent scholarship.

We give a survey of the study of nonstandard models in recursion theory and reverse mathematics. We discuss the key notions and techniques in effective computability in nonstandard models, and their applications to problems concerning combinatorial principles in subsystems of second order arithmetic. Particular attention is given to principles related to Ramsey’s Theorem for Pairs.

We give a survey of the study of nonstandard models in recursion theory and reverse mathematics. We discuss the key notions and techniques in effective computability in nonstandard models. and their applications to problems concerning combinatorial principles in subsystems of second order arithmetic. Particular attention is given to principles related to Ramsey's Theorem for Pairs.

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.